Backend Bug Finder — a platform for effective compiler fuzzing

A Multithreaded Compiler Backend for High-level Array Programming

Whenever large homogeneous data structures need to be processed in a non-trivial way, e.g. in computational sciences, image processing, or system simulation, high-level array programming in the style of APL offers a far more concise and abstract approach than traditional scalar languages such as C/C++ or FORTRAN-77. The same sort of applications often can also be characterized as performance cr...

A compiler backend for generic programming with arrays

A Typing System for an Optimizing Multiple-Backend Tcl Compiler

This paper describes the typing system used by the ICE 2.0 Tcl compiler[Rouse]. The typing system tracks the usage of variables and allows the compiler to reduce the number of instructions required to carry out Tcl instructions. It will also allow future improvements in code emission by making it possible to carry out standard compiler analyses and optimizations[Aho].

Extending a Compiler Backend for Complete Memory Error Detection

Technological advances drive hardware to ever smaller feature sizes, causing devices to become more vulnerable to faults. Applications can be protected against errors resulting from faults by adding error detection and recovery measures in software. This is popularly achieved by applying automatic program transformations. However, transformations applied to intermediate program representations ...

Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact)

This artifact is based on Staccato, a tool for finding errors in dynamic configuration update (DCU) implementations. Dynamic configuration update refers to configuration changes that occur at runtime without program restart. Errors in DCU implementations occur when stale data— computed from old configurations—or inconsistent data—computed from different configurations—are used. Staccato uses a ...